<header> KDC </header> El nombre de un host que ejecuta un KDC para ese reino, con su número de puerto opcional. <br> Esto debe usarse solo si la información de KDC no está disponible a través de DNS. <hr>